diff options
| author | Michael Vetter <jubalh@iodoru.org> | 2022-02-18 17:57:08 +0100 |
|---|---|---|
| committer | Michael Vetter <jubalh@iodoru.org> | 2022-02-18 17:57:08 +0100 |
| commit | 9a8e220770eab402f5940fd6b7a4e80a6bfab919 (patch) | |
| tree | c3a6c4d577a483ecc7cddac6d399d82a10100e7e | |
| parent | fc13a69f43508e4586167d282827bc813ceea605 (diff) | |
| download | profani-tty-9a8e220770eab402f5940fd6b7a4e80a6bfab919.tar.gz | |
Remove configure-plugins helper script
We don't really need this.
| -rwxr-xr-x | configure-plugins | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure-plugins b/configure-plugins deleted file mode 100755 index d0d9f98a..00000000 --- a/configure-plugins +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -./configure --enable-python-plugins --enable-c-plugins CFLAGS='-g -O0' CXXFLAGS='-g -O0' |