This is the couple of testcases for the gnat.dg testsuite.  They test for the 
presence of the GNU-stack executable marker in the assembly file on Linux.


2016-07-04  Eric Botcazou  <ebotcazou@adacore.com>

	* gnat.dg/trampoline3.adb: New test.
	* gnat.dg/trampoline4.adb: Likewise.

-- 
Eric Botcazou