pintos-os.org Git

Ben Pfaff [Wed, 17 Feb 2010 17:12:55 +0000 (09:12 -0800)]

working version that produced 20100217084144

Ben Pfaff [Wed, 17 Feb 2010 15:23:09 +0000 (07:23 -0800)]

use refs/builds instead of refs/heads
add gnulib commit number to NEWS

Ben Pfaff [Wed, 17 Feb 2010 01:17:51 +0000 (17:17 -0800)]

start work on git-import-tar

Ben Pfaff [Wed, 17 Feb 2010 01:17:40 +0000 (17:17 -0800)]

work on output formatting

Ben Pfaff [Wed, 17 Feb 2010 00:16:52 +0000 (16:16 -0800)]

add build products list

Ben Pfaff [Tue, 16 Feb 2010 23:11:28 +0000 (15:11 -0800)]

add build properties

Ben Pfaff [Tue, 16 Feb 2010 07:04:03 +0000 (23:04 -0800)]

Add utility for HTML results.

Ben Pfaff [Tue, 16 Feb 2010 05:01:31 +0000 (21:01 -0800)]

Works OK. Add --batch

Ben Pfaff [Mon, 15 Feb 2010 23:38:51 +0000 (15:38 -0800)]

get it working pretty well

Ben Pfaff [Mon, 15 Feb 2010 22:13:06 +0000 (14:13 -0800)]

Improve build

Ben Pfaff [Sat, 13 Feb 2010 21:49:41 +0000 (13:49 -0800)]

Get it into working order.

Ben Pfaff [Tue, 9 Feb 2010 05:16:30 +0000 (21:16 -0800)]

work on autobuild system

Ben Pfaff [Tue, 9 Feb 2010 01:20:08 +0000 (17:20 -0800)]

do full build, install, check, etc.

Ben Pfaff [Mon, 8 Feb 2010 05:33:18 +0000 (21:33 -0800)]

extract gnulib commit number too

Ben Pfaff [Mon, 8 Feb 2010 05:28:11 +0000 (21:28 -0800)]

Start working on PSPP build script.

Unnamed repository; edit this file to name it for gitweb.