diff options
author | Dario Lombardo <lomato@gmail.com> | 2018-04-24 12:26:47 +0200 |
---|---|---|
committer | Alexis La Goutte <alexis.lagoutte@gmail.com> | 2018-04-24 20:28:34 +0000 |
commit | 0202bc995b8966399f3d3ba29f82579b1500e594 (patch) | |
tree | 0ff263b0db920a1348323500ca241b72e57c1c57 /tools/debian-setup.sh | |
parent | 167a6e03b26a972093204f73ad6df3e6261bbdcc (diff) |
tools: make rpm and debian setup scripts more similar.
Change-Id: Ie46d56aff91694a3b8c4c62b4b03e38d3fb1e68a
Reviewed-on: https://code.wireshark.org/review/27116
Reviewed-by: Alexis La Goutte <alexis.lagoutte@gmail.com>
Diffstat (limited to 'tools/debian-setup.sh')
-rwxr-xr-x | tools/debian-setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/debian-setup.sh b/tools/debian-setup.sh index c4f19ed316..2e2bc253f3 100755 --- a/tools/debian-setup.sh +++ b/tools/debian-setup.sh @@ -28,7 +28,7 @@ then exit 1 fi -for op in $@ +for op do if [ "$op" = "--install-optional" ] then |