diff --git a/Makefile b/Makefile index 6326b5e09..9be7f5d97 100644 --- a/Makefile +++ b/Makefile @@ -114,16 +114,13 @@ clean: rm -rf .stack-work .stack-work-build .stack-work-run .stack-work-test .stack-work-doc rm -rf bin/ -.PHONY: %.lock %.lock: [ -e $@ ] || touch $@ flock -en $@ true -.PHONY: .stack-work.lock .stack-work.lock: [ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en .stack-work.lock "$0" "$@" || : -.PHONY: .develop.env .develop.env: [[ ! -z "$(CI)" || ! -z "$$PORT_OFFSET" ]] || ( echo "Not in develop!" 2>&1 ; exit 1 )