From 14c79a901ac3b30ffb777018f4872521325ba513 Mon Sep 17 00:00:00 2001 From: Jordan Bancino Date: Sat, 15 Oct 2022 12:45:21 -0400 Subject: [PATCH] Build improvements so we can easily port to more platforms. --- tools/bin/td | 2 +- tools/env.sh | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/tools/bin/td b/tools/bin/td index 0956a5e..a73cf30 100644 --- a/tools/bin/td +++ b/tools/bin/td @@ -79,7 +79,7 @@ recipe_build() { obj=$(echo "$src" | sed -e 's/^src/build/' -e 's/\.c$/\.o/') objs="$objs $obj" - if [ $(mod_time "$src") -gt $(mod_time "$obj") ]; then + if [ $(mod_time "$src") -ge $(mod_time "$obj") ]; then echo "CC $obj" obj_dir=$(dirname "$obj") mkdir -p "$obj_dir" diff --git a/tools/env.sh b/tools/env.sh index 7c28019..760dfb0 100644 --- a/tools/env.sh +++ b/tools/env.sh @@ -9,4 +9,3 @@ makewhatis "$(pwd)/man" export PATH="$(pwd)/tools/bin:$PATH" export MANPATH="$(pwd)/man:$MANPATH" -PS1="(td) $PS1"