1 files changed, 14 insertions, 0 deletions
diff --git a/build/stamp.sh b/build/stamp.sh
new file mode 100755
index 0000000..3b19b04
--- /dev/null
+++ b/build/stamp.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+out="./src/web/stamp.php"
+public="./src/public"
+files=$(find "$public" -type f -printf %P\\n)
+
+printf "<?php\n\$__stamps = array();\n" > "$out"
+for file in $files; do
+	stamp=$(date +%s -r "$public/$file")
+	echo "\$__stamps['public/$file'] = $stamp;" >> "$out";
+done
+echo "define('FILE_TIMES', \$__stamps);" >> "$out"
+echo "unset(\$__stamps);" >> "$out"
+