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 | |||
| 5 | autoheader | 5 | autoheader |
| 6 | autoconf | 6 | autoconf |
| 7 | 7 | ||
| 8 | chmod +x debian/rules \ No newline at end of file | 8 | if [ -f debian/rules ] ; then |
| 9 | chmod +x debian/rules | ||
| 10 | fi | ||