5
# mkconf -- produce a config.h from a known configuration
9
*) echo "Usage: mkconf system_type" >&2
10
echo "Known systems: `cd config; echo ;ls -C`" >&2
15
if [ -f config/$1 ]; then
16
sh ./mungeconf.cmd config/$1 config.h-dist >config.h
17
sed -n '/^#echo /s///p' config/$1
18
sed -n '/^MAKE_.*/s//s,^##&## ,,/p' config/$1 >sedscr
21
sed -f sedscr Makefile-dist >Makefile
23
cp Makefile-dist Makefile
27
echo "\`$1' is not a known configuration."
28
echo "Either construct one based on the examples in the config directory,"
29
echo "or copy config.h-dist to config.h and edit it."