diff options
| -rw-r--r-- | libraries/libiserv/.gitignore | 4 | ||||
| -rw-r--r-- | libraries/libiserv/ghc.mk | 5 |
2 files changed, 4 insertions, 5 deletions
diff --git a/libraries/libiserv/.gitignore b/libraries/libiserv/.gitignore new file mode 100644 index 0000000000..89cf73d0b3 --- /dev/null +++ b/libraries/libiserv/.gitignore @@ -0,0 +1,4 @@ +GNUmakefile +/dist-install/ +/dist/ +ghc.mk diff --git a/libraries/libiserv/ghc.mk b/libraries/libiserv/ghc.mk deleted file mode 100644 index 6dc323b336..0000000000 --- a/libraries/libiserv/ghc.mk +++ /dev/null @@ -1,5 +0,0 @@ -libraries/libiserv_PACKAGE = libiserv -libraries/libiserv_dist-install_GROUP = libraries -$(if $(filter libiserv,$(PACKAGES_STAGE0)),$(eval $(call build-package,libraries/libiserv,dist-boot,0))) -$(if $(filter libiserv,$(PACKAGES_STAGE1)),$(eval $(call build-package,libraries/libiserv,dist-install,1))) -$(if $(filter libiserv,$(PACKAGES_STAGE2)),$(eval $(call build-package,libraries/libiserv,dist-install,2))) |