os

An operating system
git clone https://erai.gay/code/os/
Log | Files | Refs | README | LICENSE

commit 4a1efa52ffa00714b4bd1dc7b10998d81b5d7115
parent a8bd1e3f226509e1bcb8a0a2af6b4e37882b0690
Author: erai <erai@omiltem.net>
Date:   Sat, 16 Mar 2024 12:06:03 -0400

fix test for file existing

Diffstat:
Mbootstrap.sh | 4+++-
1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bootstrap.sh b/bootstrap.sh @@ -5,11 +5,13 @@ set -ue uptodate() { target=$1 shift - if ! [ -x "${target}" ]; then + if ! [ -f "${target}" ]; then + echo "${target} does not exist" >&2 return 1 fi while [ $# -gt 0 ]; do if ! [ -f "$1" ] || [ "$1" -nt "${target}" ]; then + echo "${target} stale $1" >&2 return 1 fi shift