update: sync

[l4.git] / l4 / pkg / acpica / lib-acpi / src / acpica / generate / lint / lint.bat

diff --git a/l4/pkg/acpica/lib-acpi/src/acpica/generate/lint/lint.bat b/l4/pkg/acpica/lib-acpi/src/acpica/generate/lint/lint.bat
deleted file mode 100644 (file)
index 18fde83..0000000
--- a/l4/pkg/acpica/lib-acpi/src/acpica/generate/lint/lint.bat
+++ /dev/null
@@ -1,16 +0,0 @@
-del LintOut.txt
-echo Begin 64-bit lint >> LintOut.txt
-
-"C:\Program Files\Lint\Lint-nt" +v std64.lnt +os(LintOut.txt) files.lnt
-
-echo 64-bit lint completed >> LintOut.txt
-echo -------------------------------------------- >> LintOut.txt
-echo Begin 32-bit lint >> LintOut.txt
-
-"C:\Program Files\Lint\Lint-nt" +v std32.lnt +os(LintOut.txt) files.lnt
-
-echo 32-bit lint completed >> LintOut.txt
-@echo off
-echo ---
-echo  Output placed in LintOut.txt
-