I was trying to build l4re and ran into rather strange compilation errors. The code where the error is trowing up is in ../src/l4/pkg/bootstrap/server/src/startup.cc
make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f'
==> "libcxx_libc_io_e.a" built
==> Installing libcxx_libc_io.a to local build-tree
==> Installing libcxx_libc_io_e.a to local build-tree
make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/cxx_libc_io/lib/src/OBJ-arm_armv6zk-l4f'
make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib/src'
make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io/lib'
make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/cxx_libc_io'
... Compiling ios_failure.o
make[5]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/libvbus/lib/src/OBJ-arm_armv6zk-l4f'
... Compiling vbus.o
... Compiling module.o
... Compiling ARCH-arm/crt0.o
... Compiling vbus_pci.o
... Compiling region.o
... Compiling ios_init.o
... Compiling vbus_gpio.o
=== Building package "libkproxy" ===
... Compiling startup.o
make[2]: Entering directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/libkproxy'
arm-none-linux-gnueabi-g++: Mar: No such file or directory
arm-none-linux-gnueabi-g++: 31: No such file or directory
arm-none-linux-gnueabi-g++: 18:28:52: No such file or directory
arm-none-linux-gnueabi-g++: EDT: No such file or directory
arm-none-linux-gnueabi-g++: 2011": No such file or directory
<command-line>: warning: missing terminating " character
/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src/startup.cc:1054: error: missing terminating " character
... Compiling vbus_i2c.o
make[5]: *** [startup.o] Error 1
make[5]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk'
make[4]: *** [/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/l4rebuild/pkg/bootstrap/server/src/OBJ-arm_armv6zk] Error 2
make[4]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server/src'
make[3]: *** [src] Error 2
make[3]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap/server'
make[2]: *** [server] Error 2
make[2]: Leaving directory `/home/rahul/newbuild_17_3_11/x86droid/l4Build/src/l4/pkg/bootstrap'
make[1]: *** [bootstrap] Error 2
make[1]: *** Waiting for unfinished jobs....
... Compiling ios-inst.o