Searched refs:SHELL (Results 1 - 2 of 2) sorted by relevance

/hets/HolLight/OcamlTools/
H A DMakefile0 SHELL=/bin/bash
1 SHELL=/bin/bash macro
/hets/
H A Dvar.mk3 SHELL := $(shell [ -x /bin/ksh93 ] && echo '/bin/ksh93' || echo '/bin/bash' ) macro

Completed in 1336 milliseconds