diff options
| -rwxr-xr-x | scripts/release_ppa.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index b314d00d..ffb5717d 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -168,7 +168,7 @@ override_dh_shlibdeps: dh_shlibdeps --dpkg-shlibdeps-params=--ignore-missing-info override_dh_auto_configure: - dh_auto_configure -- -DINSTALL_LLLC=Off + dh_auto_configure -- -DINSTALL_LLLC=Off EOF cat <<EOF > debian/copyright Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ |