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
+
+