configure

   1 #!/bin/sh
   2
   3 CONFIG_FILE=./var/config.mk
   4
   5 install -d -m 0755 var
   6 if [ ! -f "$CONFIG_FILE" ] ; then
   7   cat > "$CONFIG_FILE" <<EOS
   8 PROG_CPP=gcc -E
   9 PROG_INSTALL=install
  10 PROG_JSL=jsl
  11 EOS
  12 else
  13   echo >&2 "warning: config file $CONFIG_FILE already exists.  Not overwriting."
  14 fi
  15
  16 echo "Current configuration:"
  17 cat "$CONFIG_FILE"