log bsvdefines to obj/Makefile in bsvdepend.py
log bsvdefines to obj/Makefile in bsvdepend.py

csail-csg/connectal,chenm001/connectal,cambridgehackers/connectal,chenm001/connectal,cambridgehackers/connectal,chenm001/connectal,csail-csg/connectal,cambridgehackers/connectal,csail-csg/connectal,chenm001/connectal,cambridgehackers/connectal,cambridgehackers/connectal,csail-csg/connectal,chenm001/connectal,csail-csg/connectal