When running autoconf and configure, first switch into the directory of the last target.
When running autoconf and configure, first switch into the directory of the last target.

rowhit/HaLVM,thumphries/HaLVM,mwotton/HaLVM,elijah513/HaLVM,GaloisInc/HaLVM,thumphries/HaLVM,mwotton/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM,rowhit/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,GaloisInc/HaLVM,rowhit/HaLVM