Browse Source

Specify which emake we want

EMake now requires that clients don't use it's master branch but a
dedicated commit instead.
pull/4/head
Damien Cassou 3 years ago
parent
commit
3d3bcd9de8
No known key found for this signature in database GPG Key ID: A7123815F5DCE914
1 changed files with 3 additions and 1 deletions
  1. +3
    -1
      Makefile

+ 3
- 1
Makefile View File

@ -5,8 +5,10 @@ GITHUB = https://raw.githubusercontent.com
export CI=false
EMAKE_SHA1=4323e76b4bf2c78c54e8d78f794ddf26898743de
emake.mk:
$(CURL) -O ${GITHUB}/vermiculus/emake.el/master/emake.mk
$(CURL) -O ${GITHUB}/vermiculus/emake.el/${EMAKE_SHA1}/emake.mk
# Include emake.mk if present
-include emake.mk


Loading…
Cancel
Save