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 11 milliseconds