diff --git a/collects/meta/build/build b/collects/meta/build/build index 5820c538b7..90e21e5b25 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -93,7 +93,7 @@ defbuild "macintel" "i386-osx-mac" \ "configure_args=--enable-sdk=/Developer/SDKs/MacOSX10.4u.sdk --disable-mac64" # defbuild "galaga" "i386-linux-ubuntu-hardy" defbuild "champlain" "i386-linux-f12" -defbuild "ccs-linux" "i386-linux-ubuntu-karmic" "moveto=/proj/racket" +defbuild "ccs-linux" "i386-linux-ubuntu-precise" "moveto=/proj/racket" # defbuild "punge" "i386-linux-ubuntu-jaunty" "renice=20" # defbuild "bjorn" "i386-linux-gcc2" # defbuild "chicago" "i386-linux-debian" @@ -317,6 +317,7 @@ platforms_of_dist_type() { "i386-linux-ubuntu-intrepid" \ "i386-linux-ubuntu-jaunty" \ "i386-linux-ubuntu-karmic" \ + "i386-linux-ubuntu-precise" \ "i386-freebsd" \ "sparc-solaris" ;; ( "src" ) echo "win mac unix" ;; diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 8b27349938..5f461519e7 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -107,6 +107,7 @@ i386-linux-ubuntu-hardy :=tag unix i386-linux-ubuntu-intrepid :=tag unix i386-linux-ubuntu-jaunty :=tag unix i386-linux-ubuntu-karmic :=tag unix +i386-linux-ubuntu-precise :=tag unix i386-freebsd :=tag unix i386-win32 :=tag win x86_64-win32 :=tag win @@ -761,6 +762,7 @@ platform i386-linux-ubuntu-intrepid => "Linux i386, built on Ubuntu Intrepid" i386-linux-ubuntu-jaunty => "Linux i386, built on Ubuntu Jaunty" i386-linux-ubuntu-karmic => "Linux i386, built on Ubuntu Karmic" + i386-linux-ubuntu-precise => "Linux i386, built on Ubuntu Precise" i386-freebsd => "FreeBSD (i386)" sparc-solaris => "Solaris" ppc-osx-mac => "Mac OS X (PPC)"