diff options
Diffstat (limited to 'release/picobsd/build')
| -rw-r--r-- | release/picobsd/build/Makefile.conf | 2 | ||||
| -rwxr-xr-x | release/picobsd/build/build | 2 | ||||
| -rwxr-xr-x | release/picobsd/build/clean | 2 | ||||
| -rwxr-xr-x | release/picobsd/build/stage1 | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/release/picobsd/build/Makefile.conf b/release/picobsd/build/Makefile.conf index 34160ba1b66b..dca930055cde 100644 --- a/release/picobsd/build/Makefile.conf +++ b/release/picobsd/build/Makefile.conf @@ -1,4 +1,4 @@ -# $FreeBSD$ +# $FreeBSD: src/release/picobsd/build/Makefile.conf,v 1.1.2.3 1999/08/29 15:52:24 peter Exp $ # # Makefile for building PICOBSD kernels diff --git a/release/picobsd/build/build b/release/picobsd/build/build index 8a999f67c4fc..0101b5fac285 100755 --- a/release/picobsd/build/build +++ b/release/picobsd/build/build @@ -1,7 +1,7 @@ #!/bin/sh - # -# $FreeBSD$ +# $FreeBSD: src/release/picobsd/build/build,v 1.12.2.6 1999/08/29 19:18:57 dwhite Exp $ # # You can set the SRC variable which points to your source tree. It's # /usr/src by default (most people shouldn't change it). diff --git a/release/picobsd/build/clean b/release/picobsd/build/clean index 84e09a1a83b1..0dbcedbc85b1 100755 --- a/release/picobsd/build/clean +++ b/release/picobsd/build/clean @@ -1,7 +1,7 @@ #! /bin/sh - # -# $FreeBSD$ +# $FreeBSD: src/release/picobsd/build/clean,v 1.7.2.3 1999/08/29 15:52:25 peter Exp $ # set -e diff --git a/release/picobsd/build/stage1 b/release/picobsd/build/stage1 index 285f82fea2cd..eb0ac6900e87 100755 --- a/release/picobsd/build/stage1 +++ b/release/picobsd/build/stage1 @@ -1,6 +1,6 @@ #! /bin/sh - -# $FreeBSD$ +# $FreeBSD: src/release/picobsd/build/stage1,v 1.7.2.5 1999/08/29 15:52:26 peter Exp $ # # stage1 -- this script fills the mfs for the picobsd kernel |
