diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-03-18 07:13:41 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-03-18 07:13:41 +0100 |
commit | 672df79746ea438ef64bea4243aaa33688394a53 (patch) | |
tree | e0deecdea92cc48898053a8d0d9945ae81a32b74 /clean | |
parent | 7b56db67457ea776acc84f2b764852aa07b3b522 (diff) |
Some more updates and removal of mentions of squeeze
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,14 +4,14 @@ usage() { -echo "Usage: ./clean [squeeze|wheezy|jessie]" +echo "Usage: ./clean [wheezy|jessie]" } if [ $# -gt 1 ]; then usage; exit 1; fi if [ $# -eq 1 ] then DIST=$1 - if [ $DIST != "squeeze" ] && [ $DIST != "wheezy" ] && [ $DIST != "jessie" ]; then usage; exit 1; fi + if [ $DIST != "wheezy" ] && [ $DIST != "jessie" ]; then usage; exit 1; fi cd $DIST fi |