NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-11-24 08:53:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

Use /bin/sh instead

Browse Source 
Per Brian Hicks: people customize their .bashrc/.zshrc and
sometimes they take a long time to load,
but almost no one ever customizes `/bin/sh`.
This commit is contained in:
Hardy Jones 2018-03-28 12:14:45 -07:00
parent 00d61cb76b
commit 9bab3fe852
No known key found for this signature in database
GPG Key ID: 53FEB62789F62A82
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -1,6 +1,6 @@
NPM_PREFIX=$(realpath .)/node_modules
PATH:=${NPM_PREFIX}/.bin:${PATH}
SHELL:=/bin/bash
SHELL:=env PATH=${PATH} /bin/sh
.PHONY: test
test: elm-stuff tests/elm-stuff node_modules