diff options
author | davidovski <david@davidovski.xyz> | 2022-03-12 17:43:28 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-03-12 17:43:28 +0000 |
commit | d215dd09cb60ed38dbcffe14f0c7cc748645ad79 (patch) | |
tree | aec2b3aa6d493a52a03ea54f85efa7a7f6917a7f /repo/devel/gdb.xibuild | |
parent | 2bda0d54b37dd3ebf7917c3a58c0404d21afe7f6 (diff) |
removed bashisms
Diffstat (limited to 'repo/devel/gdb.xibuild')
-rw-r--r-- | repo/devel/gdb.xibuild | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/repo/devel/gdb.xibuild b/repo/devel/gdb.xibuild index 49d8d49..055576e 100644 --- a/repo/devel/gdb.xibuild +++ b/repo/devel/gdb.xibuild @@ -18,14 +18,14 @@ build () { } -check () { - pushd gdb/testsuite && - make site.exp && - echo "set gdb_test_timeout 120" >> site.exp && - runtest - popd - -} +#check () { +# cd gdb/testsuite && +# make site.exp && +# echo "set gdb_test_timeout 120" >> site.exp && +# runtest +# cd ../.. +# +#} package () { make -C gdb DESTDIR=$PKG_DEST install |