diff options
| author | Jakob Unterwurzacher | 2025-08-03 22:40:00 +0200 | 
|---|---|---|
| committer | Jakob Unterwurzacher | 2025-08-03 23:02:27 +0200 | 
| commit | e8d8f97de7d6c8f8fb82e51ca64c33ca1ab31e0b (patch) | |
| tree | fd79c51452088b0a8ac91d515ab3fc2deb6d5b69 | |
| parent | 516dc9739814cd745d9b94393105649c72edc4d6 (diff) | |
test.bash: print "?" when we cannot determine fs type
| -rwxr-xr-x | test.bash | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -80,7 +80,7 @@ else  fi  echo -n "Testing on TMPDIR=$TMPDIR, filesystem: " -findmnt --noheadings --target "$TESTDIR" --output FSTYPE,OPTIONS || true +findmnt --noheadings --target "$TESTDIR" --output FSTYPE,OPTIONS || echo "?"  EXTRA_ARGS=""  if [[ $VERBOSE -eq 1 ]]; then | 
