From: Ben Pfaff Date: Sun, 13 Mar 2022 21:12:17 +0000 (-0700) Subject: build-pspp: New option --no-perl. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0f7e759348e20c0968d102b5617b2169e0ae1582;hp=0f7e759348e20c0968d102b5617b2169e0ae1582;p=pspp build-pspp: New option --no-perl. ---