ada/AdaSAT
0
0
Fork 0
mirror of https://github.com/AdaCore/AdaSAT.git synced 2026-02-12 13:11:23 -08:00
Code Issues Packages Projects Releases Wiki Activity
148 Commits 11 Branches 3 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Romain Beguet
6fd0822586 VB22-027: Quote paths given to relocate-build-tree. 
Non quoted paths turned backslashes to nothing and made gprbuild fail on
windows due to looking for nonsensical paths.
 2022-12-20 14:44:40 +01:00
Romain Beguet
0d84d973f8 VB22-027: Add makefile to simplify anod spec. 2022-11-23 17:23:33 +01:00