diff options
Diffstat (limited to 'debian/patches/branch-no-development.diff')
| -rw-r--r-- | debian/patches/branch-no-development.diff | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/patches/branch-no-development.diff b/debian/patches/branch-no-development.diff new file mode 100644 index 0000000..ecbe9c3 --- /dev/null +++ b/debian/patches/branch-no-development.diff @@ -0,0 +1,11 @@ +--- a/bfd/development.sh ++++ b/bfd/development.sh +@@ -16,7 +16,7 @@ + # along with this program. If not, see <http://www.gnu.org/licenses/>. + + # Controls whether to enable development-mode features by default. +-development=true ++development=false + + # Indicate whether this is a release branch. + experimental=false |