diff options
| author | huderlem <huderlem@gmail.com> | 2019-05-06 19:53:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-06 19:53:03 -0500 |
| commit | ed0b3022fba7cb9ea0ea8e6057e251a4d7a5a907 (patch) | |
| tree | 8e88388f8556f67c40c50c8ae0e1c2e4b18e2517 | |
| parent | abf6ca0ae33506a0cdde15c438f1bdb951783e5d (diff) | |
Revert "install headers into tools/agbcc/include"
| -rwxr-xr-x | install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ if [ "$1" != "" ]; then mkdir -p $1/tools/agbcc/lib cp agbcc $1/tools/agbcc/bin/ cp old_agbcc $1/tools/agbcc/bin/ - cp -R libc/include/ $1/tools/agbcc/include + cp -R libc/include/ $1/tools/agbcc/ #drop include, because we don't want include/include cp ginclude/* $1/tools/agbcc/include/ cp libgcc.a $1/tools/agbcc/lib/ cp libc.a $1/tools/agbcc/lib/ |