diff options
| author | Peter Palfrader <peter@palfrader.org> | 2012-10-15 14:34:30 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2012-10-15 14:34:30 +0000 |
| commit | eeabe5d09f4228c7150215b454bdbd62f6f01dfb (patch) | |
| tree | 2666ae3dc1d6c1f6a8e086060bc83b33acd29360 /tools/create-distribution | |
| parent | 55bd998e3db9410477d64e6c1993d6f9d604b573 (diff) | |
Fix a bashishm in tools/create-distribution
Diffstat (limited to 'tools/create-distribution')
| -rwxr-xr-x | tools/create-distribution | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/create-distribution b/tools/create-distribution index 8324f8c..0444c69 100755 --- a/tools/create-distribution +++ b/tools/create-distribution @@ -34,7 +34,7 @@ pod2man --section=5 --release="$version" --center=Echolot doc/pingd.conf.pod doc if [ "$dirname" != "echolot-$version" ] ; then echo "WARN: Version $version might be wrong" echo "Enter to continue" - read + read dummy fi cd .. |