]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
* gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 13 Dec 2013 09:20:09 +0000 (09:20 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 13 Dec 2013 09:20:09 +0000 (09:20 +0000)
From-SVN: r205956

gcc/ada/ChangeLog
gcc/ada/gcc-interface/Make-lang.in

index fce5a217ae5ad5541055b058cdb1a3aee11e791a..4ebba1aa52ff855df9c502d8289d32b5c7f733a1 100644 (file)
@@ -1,3 +1,7 @@
+2013-12-12  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.
+
 2013-10-19  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/utils.c (gnat_set_type_context): New function.
index ec95398ecbe234171fc3aa363a76f46a6b9bd46c..0131e30103046d94928cbfeead8be793e71b0fbf 100644 (file)
@@ -660,7 +660,7 @@ ada.tags: force
 ada/doctools/xgnatugn$(build_exeext): ada/xgnatugn.adb
        -$(MKDIR) ada/doctools
        $(CP) $^ ada/doctools
-       cd ada/doctools && $(GNATMAKE) -q xgnatugn
+       cd ada/doctools && gnatmake -q xgnatugn
 
 # Note that doc/gnat_ugn.texi and doc/projects.texi do not depend on
 # xgnatugn being built so we can distribute a pregenerated doc/gnat_ugn.info