diff options
author | Björn Persson <Bjorn@Rombobjörn.se> | 2014-02-23 16:42:39 +0100 |
---|---|---|
committer | Björn Persson <Bjorn@Rombobjörn.se> | 2014-02-23 16:42:39 +0100 |
commit | 806a6dd5c4ea3300c628738bbbf3979dae23b078 (patch) | |
tree | 6f4b911c5f8f6b6b2919fc56484a61ea273db20c /testsuite/sources/library_1/Makefile | |
parent | bd7e00096e4ae941164026cb571c70939e13ced2 (diff) |
Changed "make" to "Make" in the hope that it will look more like a name and less like a command.
Diffstat (limited to 'testsuite/sources/library_1/Makefile')
-rw-r--r-- | testsuite/sources/library_1/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/sources/library_1/Makefile b/testsuite/sources/library_1/Makefile index 83ee65a..7ecb403 100644 --- a/testsuite/sources/library_1/Makefile +++ b/testsuite/sources/library_1/Makefile @@ -20,6 +20,6 @@ build_GPRs = build_testcase.gpr usage_GPRs = testcase.gpr submake: - @${MAKE} --directory=${make_srcdir}/subdir + @${MAKE} --directory=${Make_srcdir}/subdir build: submake |