-if [ "$VMEBRIDGE_BUILDS" != "0" ]; then export CONFIG_VME=n; echo 'VMEBRIDGE did not build successfully. Thus, VME support will not be available.'; else export CONFIG_VME=y; fi
-if [ "$FMC_BUILDS" != "0" ]; then echo 'FMC did not build successfully. Exiting'; exit 1; fi
-if [ "$ZIO_BUILDS" != "0" ]; then echo 'ZIO did not build successfully. Exiting'; exit 1; fi