diff options
Diffstat (limited to 'tools')
-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 | ||