It immediately starts with:
| $ make 2>&1 | tee makelog2
|
| Configure arguments:
| Use `make CONFIGUREARGS="..." ...' to change them.
| They will be retained in the build directory.
|
| Making all in build/linux-3.12.22+-armv6l
| ./precompile.sh --cache make_interpret_functions.pike
>"/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h"
"/home/pi/Pike-v8.0.10/src/interpret_functions.h" || { rm
"/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h"; exit 1; }
| /bin/sh: 1: cannot create
/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h: Permission denied
| rm: remove write-protected regular file
`/home/pi/Pike-v8.0.10/src/interpret_functions_fixed.h'?
(I put chattr +i on it.)
