diff options
Diffstat (limited to 'pc/mungeconf.cmd')
-rwxr-xr-x | pc/mungeconf.cmd | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/pc/mungeconf.cmd b/pc/mungeconf.cmd deleted file mode 100755 index cbf1d12e..00000000 --- a/pc/mungeconf.cmd +++ /dev/null @@ -1,15 +0,0 @@ -extproc sh
-
-#! /bin/sh
-
-case $# in
-2) ;;
-*) echo "Usage: mungeconf sysfile distfile" >&2 ; exit 2 ;;
-esac
-
-sed '/^#/d; /^MAKE_*/d' $1 |
-sed '1s:.*:s~__SYSTEM__~&~:
-2,$s:^\([^ ]*\)[ ].*:s~^/\\* #define[ ]*\1.*~#define &~:' >sedscr
-sed -f sedscr $2
-
-cmd /c del sedscr
|