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