diff options
author | Michael Vetter <jubalh@iodoru.org> | 2021-08-26 08:23:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-26 08:23:48 +0200 |
commit | e4ada15f21c49ce17b99a81f940b32915d39e5fc (patch) | |
tree | d837e621693d62bf000a3e2bd26c85f33ee4c150 /configure-plugins | |
parent | 1d08d8ccf0aa0740cd7ccd7976a5af0ecf0b5fe8 (diff) | |
parent | a1dc3d12370b90dd32b4ab263b75386d066a0312 (diff) | |
download | profani-tty-e4ada15f21c49ce17b99a81f940b32915d39e5fc.tar.gz |
Merge pull request #1593 from a1346054/fixes
Minor cleanup
Diffstat (limited to 'configure-plugins')
-rwxr-xr-x | configure-plugins | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure-plugins b/configure-plugins index af4db3d5..d0d9f98a 100755 --- a/configure-plugins +++ b/configure-plugins @@ -1,4 +1,3 @@ #!/bin/sh ./configure --enable-python-plugins --enable-c-plugins CFLAGS='-g -O0' CXXFLAGS='-g -O0' - |