From: tonyg <tonythegair@gmail.com>
Subject: Re: gprbuilds and bullds using the gpr within gps
Date: Fri, 29 May 2015 09:34:19 -0700 (PDT)
Date: 2015-05-29T09:34:19-07:00 [thread overview]
Message-ID: <4119667f-ff4b-4459-8bff-238129fbfac8@googlegroups.com> (raw)
In-Reply-To: <td9opa10fozb$.1kn5o79171it0$.dlg@40tude.net>
I cleared out the gpr file, and deleted the dot gps directory and this seemed to work. GPR files seems to grow and grow!
next prev parent reply other threads:[~2015-05-29 16:34 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-26 10:14 gprbuilds and bullds using the gpr within gps tonyg
2015-05-26 10:22 ` Dmitry A. Kazakov
2015-05-29 16:34 ` tonyg [this message]
2015-05-29 16:56 ` Dmitry A. Kazakov
2015-05-29 17:00 ` Dmitry A. Kazakov
2015-05-29 18:31 ` Simon Wright
2015-05-29 20:05 ` Dmitry A. Kazakov
2015-06-01 19:00 ` Pascal Obry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox