gprbuild/makefile.patch

   1 --- Makefile.in.orig    2011-10-18 20:58:58.160186938 +0200
   2 +++ Makefile.in 2011-10-18 20:59:21.423394245 +0200
   3 @@ -19,9 +19,9 @@
   4  endif
   5  CP=cp -p
   6  MKDIR=mkdir -p
   7 -BUILD=debug
   8 +BUILD=production
   9
  10 -prefix=@prefix@
  11 +prefix=$(DESTDIR)@prefix@
  12  srcdir=@srcdir@
  13  root_objdir=@objdir@
  14  exec_prefix=@exec_prefix@