From: Ben Pfaff <blp@gnu.org>
Date: Thu, 18 Feb 2010 18:35:53 +0000 (-0800)
Subject: save POT file as build product
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=e0342d528bb13ab467395ef7c7136fc3650c1d5d

save POT file as build product
---

diff --git a/build-pspp b/build-pspp
index 6d13ccbf48..4b3cf01b5b 100755
--- a/build-pspp
+++ b/build-pspp
@@ -251,6 +251,7 @@ EOF
     run ("cd pspp$build_number/_build && make dist", "dist");
     my $tarname = "pspp-$version.tar.gz";
     $tarball = save_result ("source distribution", "pspp$build_number/_build/$tarname", 1);
+    save_result ("translation templates", "pspp$build_number/_build/po/pspp.pot");
 
     # Save distributed files in Git.
     start_step ("Save distributed files in Git");