diff options
| -rwxr-xr-x | tools/setup | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/setup b/tools/setup index 63da05d6..b0de8f65 100755 --- a/tools/setup +++ b/tools/setup @@ -5,4 +5,6 @@ automake autoheader autoconf -chmod +x debian/rules
\ No newline at end of file +if [ -f debian/rules ] ; then + chmod +x debian/rules +fi |