From 4810f9a0af507bb405e6a3c58decfa9c9980b2ff Mon Sep 17 00:00:00 2001
From: Alexey Yakovenko <wakeroid@gmail.com>
Date: Thu, 27 May 2010 22:51:35 +0200
Subject: merged parts of DUMB-0.9.3

---
 plugins/dumb/dumb-kode54/make/config.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'plugins/dumb/dumb-kode54/make/config.sh')

diff --git a/plugins/dumb/dumb-kode54/make/config.sh b/plugins/dumb/dumb-kode54/make/config.sh
index 923b3ccc..9be5e49c 100644
--- a/plugins/dumb/dumb-kode54/make/config.sh
+++ b/plugins/dumb/dumb-kode54/make/config.sh
@@ -5,7 +5,7 @@
 # should be run indirectly through the 'make config' target (or the 'make'
 # target the first time).
 
-if [ ! -e make/dumbask ]; then
+if [ ! -f make/dumbask ]; then
   echo "You should not be running this directly! Use 'make' or 'make config'."
   exit
 fi
@@ -24,7 +24,9 @@ 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
+echo "PREFIX := `echo "$PREFIX" | \
+  sed -e 's/\${\([A-Za-z_][A-Za-z0-9_]*\)}/$(\1)/g' \
+      -e 's/\$\([A-Za-z_][A-Za-z0-9_]*\)/$(\1)/g'`" >> make/config.tmp
 fi
 
 mv -f make/config.tmp make/config.txt
-- 
cgit v1.2.3