diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_debian.sh (renamed from tools/build-debian.sh) | 10 | ||||
| -rw-r--r-- | tools/debian/patches/README | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/tools/build-debian.sh b/tools/build_debian.sh index 5cfc71d40..67a3c8b07 100755 --- a/tools/build-debian.sh +++ b/tools/build_debian.sh @@ -38,12 +38,12 @@ # # Examples: # -# …/build-debian.sh devel debian/sid -# …/build-debian.sh stable debian/bullseye -# …/build-debian.sh 1.9 ubuntu/jammy -# …/build-debian.sh 1.9-2 ubuntu/focal +# …/build_debian.sh devel debian/sid +# …/build_debian.sh stable debian/bullseye +# …/build_debian.sh 1.9 ubuntu/jammy +# …/build_debian.sh 1.9-2 ubuntu/focal # -# …/build-debian.sh test-patches +# …/build_debian.sh test-patches # # Environment variables that can be used: # diff --git a/tools/debian/patches/README b/tools/debian/patches/README index 3a2699a55..59b8f1adb 100644 --- a/tools/debian/patches/README +++ b/tools/debian/patches/README @@ -1,4 +1,4 @@ This directory contains patches that must be applied for some old Debian/Ubuntu versions, in order to build Debian packages. -They are automatically applied by the script "tools/build-debian.sh". +They are automatically applied by the script "tools/build_debian.sh". |