diff options
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/time/update.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/time/update.bash b/lib/time/update.bash index 4297c5f545..b1f9a93061 100755 --- a/lib/time/update.bash +++ b/lib/time/update.bash @@ -42,7 +42,7 @@ zip -0 -r ../../zoneinfo.zip * cd ../.. echo -if [ "$1" == "-work" ]; then +if [ "$1" = "-work" ]; then echo Left workspace behind in work/. else rm -rf work |