From a0a866fab5fa9bed52af92ae768fd79217b314c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ortega=20Froysa?= Date: Wed, 12 Mar 2025 09:38:46 +0100 Subject: [PATCH] Compile all files. We don't currently resolve dependencies, so it's not possible to actually skip these files. --- phpsg.sh | 8 -------- 1 file changed, 8 deletions(-) diff --git a/phpsg.sh b/phpsg.sh index 8a11da6..e7391ad 100755 --- a/phpsg.sh +++ b/phpsg.sh @@ -98,10 +98,6 @@ function process_file() { then DEST_FILE="${DEST_FILE::-4}" DEST_DIR="$(dirname "$DEST_FILE")" - if ! [ "$file" -nt "$DEST_FILE" ] - then - return - fi if ! [ -d "$DEST_DIR" ] then mkdir -p "$DEST_DIR" @@ -111,10 +107,6 @@ function process_file() { echo "done" else DEST_DIR="$(dirname "$DEST_FILE")" - if ! [ "$file" -nt "$DEST_FILE" ] - then - return - fi if ! [ -d "$DEST_DIR" ] then mkdir -p "$DEST_DIR"