aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbodl6
-rwxr-xr-xsbrun2
2 files changed, 7 insertions, 1 deletions
diff --git a/sbodl b/sbodl
index 43eacde..42623c2 100755
--- a/sbodl
+++ b/sbodl
@@ -90,7 +90,11 @@ for dl in $DL; do
[ "$FORCEDL" = "yes" ] && rm -f "$FILE"
- if [ -e "$FILE" ]; then
+ if [ -f "$FILE" -a ! -L "$FILE" ]; then
+ # file exists and is a regular file, cache it
+ mv -b "$FILE" "$CACHEDIR"
+ ln -s "$CACHEDIR/$FILE" "$FILE"
+ elif [ -e "$FILE" ]; then
# don't do anything
:
elif [ "$FORCEDL" != "yes" ] && [ -e "$CACHEDIR/$FILE" ]; then
diff --git a/sbrun b/sbrun
index 5dd2222..1eeeb73 100755
--- a/sbrun
+++ b/sbrun
@@ -29,6 +29,8 @@ if [ "$(id -u)" != "0" ]; then
"$0" "$@"
fi
+[ -e "$BUILDLOG" ] && mv "$BUILDLOG" "$BUILDLOG".old
+
# Inherit MAKEFLAGS from env, if present.
MAKEFLAGS="${MAKEFLAGS:-$DEFAULT_MAKEFLAGS}"