+# make sure the boot manager source is checked out in the same directory
+# as the bootcd_v3 repository
+BOOTMANAGER_DIR=../bootmanager/
+
+if [ ! -d $BOOTMANAGER_DIR ]; then
+ echo "the bootmanager repository needs to be checked out at the same"
+ echo "level as this directory, for the merge_hw_tables.py script"
+ exit
+fi
+
+