do not copy settings.php in build
authorarno <arenevier@fdn.fr>
Thu, 20 Aug 2009 08:39:48 +0000 (10:39 +0200)
committerarno <arenevier@fdn.fr>
Thu, 20 Aug 2009 12:17:26 +0000 (14:17 +0200)
build.sh

index 82aacece35eb54414b3dad2982ee8bb67787d5be..1ee0a41cc85e312bd1e88533b47c61fe3e95ce08 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -13,6 +13,8 @@ mkdir -p $DESTDIR
 
 # php includes
 cp -RLp inc/ $DESTDIR/
+# removes generated settings in case it exists
+rm -f $DESTDIR/inc/settings.php
 
 # other php files
 cp -p admin.*php index.*php upgrade.*php install.*php news.php api.php items.php logout.php $DESTDIR/