diff options
Diffstat (limited to 'add-include-prefix')
| -rwxr-xr-x | add-include-prefix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/add-include-prefix b/add-include-prefix deleted file mode 100755 index 45e48769..00000000 --- a/add-include-prefix +++ /dev/null @@ -1 +0,0 @@ -sed -e 's/^/ /' -e 's/ */ /g' -e 's/ / -I /g' -e 's/ -I $//' |