make does not work
Tried running make all
for the first time, got this:
127 src/ --head devTools/head.html > bin/tmp
/bin/sh: 1: 127: not found
Makefile:37: recipe for target 'bin/tmp' failed
make: *** [bin/tmp] Error 127
Tried running make all
for the first time, got this:
127 src/ --head devTools/head.html > bin/tmp
/bin/sh: 1: 127: not found
Makefile:37: recipe for target 'bin/tmp' failed
make: *** [bin/tmp] Error 127
changed the description
mentioned in merge request !4682 (merged)
mentioned in merge request !4683 (merged)