diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-11 13:48:58 +0100 | 
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-11 13:48:58 +0100 | 
| commit | 7430f108c3d9e07871c66daedcbce4aa2f5ff9a7 (patch) | |
| tree | cb160bb17d367d09326663b1bdbab33445d8a6a0 /clean | |
| parent | 995e65c8ed9d66ed6206c47f01ef2ef503bf790e (diff) | |
Support stretch (testing) instead of wheezy (oldstable)
Diffstat (limited to 'clean')
| -rwxr-xr-x | clean | 4 | 
1 files changed, 2 insertions, 2 deletions
| @@ -4,14 +4,14 @@  usage()  { -echo "Usage: ./clean [wheezy|jessie]" +echo "Usage: ./clean [stretch|jessie]"  }  if [ $# -gt 1 ]; then usage; exit 1; fi  if [ $# -eq 1 ]  then    DIST=$1 -  if [ $DIST != "wheezy" ] && [ $DIST != "jessie" ]; then usage; exit 1; fi +  if [ $DIST != "stretch" ] && [ $DIST != "jessie" ]; then usage; exit 1; fi    cd $DIST  fi | 
