diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/Makefile')
| -rw-r--r-- | testsuite/tests/typing-gadts/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typing-gadts/Makefile b/testsuite/tests/typing-gadts/Makefile index 9add15574f..5f42b70577 100644 --- a/testsuite/tests/typing-gadts/Makefile +++ b/testsuite/tests/typing-gadts/Makefile @@ -1,3 +1,4 @@ -include ../../makefiles/Makefile.toplevel -include ../../makefiles/Makefile.common +BASEDIR=../.. +include $(BASEDIR)/makefiles/Makefile.toplevel +include $(BASEDIR)/makefiles/Makefile.common |