diff options
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/regen_config_checks.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/utils/regen_config_checks.sh b/utils/regen_config_checks.sh new file mode 100755 index 000000000..78f2dbfba --- /dev/null +++ b/utils/regen_config_checks.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +DESTINATION="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 "\$requred_defines = array( " >> $DESTINATION + +grep define\( config.php-dist | awk -F\' '{ print "*" $2 "*," }' | xargs echo -n | sed -e s/,$// -e s/*/\'/g >> $DESTINATION + +echo "); ?>" >> $DESTINATION + + |