gnat_ugn.texi: Add documentation for new gnatmake switch --create-map-file.
2010-09-09 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Add documentation for new gnatmake switch --create-map-file. * make.adb (Map_File): New global variable to store the value of switch --create-map-file. (Gnatmake): Add switch -M to gnatlink if buider switch --create-map-file has been specified. (Scan_Make_Arg): Recognize switch --create-map-file * makeutl.ads (Create_Map_File_Switch): New constant string for new gnatmake and gprbuild switch --create-map-file. From-SVN: r164104
Showing
Please
register
or
sign in
to comment