diff options
Diffstat (limited to 'pc/make-config.bat')
-rwxr-xr-x | pc/make-config.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pc/make-config.bat b/pc/make-config.bat new file mode 100755 index 00000000..d2248048 --- /dev/null +++ b/pc/make-config.bat @@ -0,0 +1,6 @@ +@echo off
+sed -n -f configpk.sed < ..\configure.ac > tmp.sed
+sed -f config.sed < ..\configh.in > config.tmp
+sed -f tmp.sed < config.tmp > config.h
+del tmp.sed
+del config.tmp
|