diff options
Diffstat (limited to '')
| -rw-r--r-- | build/stamp.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/build/stamp.sh b/build/stamp.sh deleted file mode 100644 index 3b19b04..0000000 --- a/build/stamp.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/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" - |