Fix missing Makefile

This commit is contained in:
Jesús 2019-09-24 15:47:08 -05:00
parent 9378ac5d99
commit 4430b38d6d
No known key found for this signature in database
GPG Key ID: F6EE7BC59A315766

View File

@ -14,4 +14,5 @@ before_script:
test:
script:
- (cd cl-theme/ && make compile)
- cp -v Makefile.example Makefile
- make validate