diff options
Diffstat (limited to 'utils/regen_config_checks.sh')
-rwxr-xr-x | utils/regen_config_checks.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/utils/regen_config_checks.sh b/utils/regen_config_checks.sh deleted file mode 100755 index e8b1ed830..000000000 --- a/utils/regen_config_checks.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -DESTINATION="include/sanity_config.php" - -echo "<?php # This file has been generated at: " `date` > $DESTINATION - -echo -n "define('GENERATED_CONFIG_CHECK', " >> $DESTINATION -grep CONFIG_VERSION config.php-dist | awk -F ' |\)' '{ print $2 }' | xargs echo -n >> $DESTINATION -echo ");" >> $DESTINATION - -echo -n "\$required_defines = array( " >> $DESTINATION - -grep define\( config.php-dist | awk -F\' '{ print "*" $2 "*," }' | grep -v DB_PORT | xargs echo -n | sed -e s/,$// -e s/*/\'/g >> $DESTINATION - -echo "); ?>" >> $DESTINATION - - |