Merge pull request #533 from Ralith/fix-js-build
Fix broken build caused by 3fdf1a03
commit949782248b314a61a4b842eed5bba149c5eec8c0
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 13 Oct 2013, 10:36 (13 years ago)
parent54a89bf480a28b
idris.cabal−2
@@ -93,8 +93,6 @@ Extra-source-files:
9393 javascript/Makefile
9494 javascript/javascript.ipkg
9595
96− js/*.js
97−
9896 llvm/*.c
9997 llvm/Makefile
10098