Searched defs:SHELL (Results 1 - 2 of 2) sorted by relevance
/hets/HolLight/OcamlTools/ | ||
H A D | Makefile | 0 SHELL=/bin/bash 1 SHELL=/bin/bash macro |
/hets/ | ||
H A D | var.mk | 3 SHELL := $(shell [ -x /bin/ksh93 ] && echo '/bin/ksh93' || echo '/bin/bash' ) macro |
Completed in 10 milliseconds