Fix pilot error in previous checkin
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 25 Jan 2014 22:41:48 +0000 (22:41 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 25 Jan 2014 22:41:48 +0000 (22:41 +0000)
commit63efcf4926cd7232b96510482e53f3e4dcea93e0
treeac86d0b8d875b6e88ca855cc0157695c0c0dcf56
parent41766a5fb4d797926384ffdc1fe9330971bb1d81
Fix pilot error in previous checkin

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207098 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/gcc-interface/Makefile.in