1 files changed, 0 insertions, 35 deletions
diff --git a/dumb/dumb-kode54/make/config.sh b/dumb/dumb-kode54/make/config.sh
deleted file mode 100644
index 923b3ccc..00000000
--- a/dumb/dumb-kode54/make/config.sh
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/bin/sh
-
-# This file does an interactive configuration for users of Unix-like systems.
-# It creates a config.txt file for inclusion in the Makefile. This script
-# should be run indirectly through the 'make config' target (or the 'make'
-# target the first time).
-
-if [ ! -e make/dumbask ]; then
-  echo "You should not be running this directly! Use 'make' or 'make config'."
-  exit
-fi
-
-echo 'include make/unix.inc' > make/config.tmp
-
-echo 'ALL_TARGETS := core core-examples core-headers' >> make/config.tmp
-
-if make/dumbask 'Would you like support for Allegro (Y/N)? ' YN; then
-  echo 'ALL_TARGETS += allegro allegro-examples allegro-headers' >> make/config.tmp
-fi
-
-
-if [ ! -z $DEFAULT_PREFIX ]; then
-echo "Please specify an installation prefix (default $DEFAULT_PREFIX)."
-echo -n '> '
-read PREFIX
-if [ -z $PREFIX ]; then PREFIX=$DEFAULT_PREFIX; fi
-echo "PREFIX := $PREFIX" >> make/config.tmp
-fi
-
-mv -f make/config.tmp make/config.txt
-
-echo 'Configuration complete.'
-echo "Run 'make config' to change it in the future."
-echo -n 'Press Enter to continue ... '
-read dummy