diff options
Diffstat (limited to 'xfce/terminal/PRE_BUILD')
| -rwxr-xr-x | xfce/terminal/PRE_BUILD | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/xfce/terminal/PRE_BUILD b/xfce/terminal/PRE_BUILD index 883fd7a9ed..f6b41c8711 100755 --- a/xfce/terminal/PRE_BUILD +++ b/xfce/terminal/PRE_BUILD @@ -1,6 +1,4 @@ default_pre_build && cd "$SOURCE_DIRECTORY" && -sed -i "s:--nonet::g" doc/Makefile.in && - -patch -p0 < "$SPELL_DIRECTORY/terminal.patch" +sed -i "s:--nonet::g" doc/Makefile.in |