build: Add an environment variable to turn off build parallelization.

This can sometimes be useful to avoid background builds hogging resources.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Reorder klee-make target dependencies to ensure correct ordering.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Add missing CLANG_CXX dependency to stp build targets.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
s2ecmd: Add missing field initializer to squelch warning.

s2ecmd/s2ecmd.c:230:5: warning: missing initializer [-Wmissing-field-initializers]

Signed-off-by: Diego Biurrun <diego@biurrun.de>
guest: Mark functions only used in their files as static.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
guest: Mark parameterless function signatures as "void".

This fixes a number of related warnings.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
guest: Replace memset(0) by zero initializations where possible.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
s2eget: Free previously allocated memory on malloc failure.

Signed-off-by: Diego Biurrun <diego@biurrun.de>