Skip to content
Snippets Groups Projects
Commit 72dd2a02 authored by Thomas Guillem's avatar Thomas Guillem
Browse files

build: check extra/tools make

parent b75996f1
No related branches found
No related tags found
No related merge requests found
......@@ -438,8 +438,9 @@ cd extras/tools
./bootstrap
checkfail "buildsystem tools: bootstrap failed"
make $MAKEFLAGS
checkfail "buildsystem tools: make failed"
make $MAKEFLAGS .gas
checkfail "buildsystem tools: make"
checkfail "buildsystem tools: make failed"
cd ../..
#############
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment