diff options
author | Andy Fiddaman <omnios@citrus-it.co.uk> | 2021-11-06 14:25:56 +0000 |
---|---|---|
committer | Andy Fiddaman <omnios@citrus-it.co.uk> | 2021-11-15 21:42:31 +0000 |
commit | 25b05a3ecbac136f5e1192d4d9e79dc14f895785 (patch) | |
tree | c530d946403c8453e6baec29bbf424ed5dda13a3 /usr/src/tools | |
parent | 86d4171132ce4f4c1345b7ce0d5048577e1f3976 (diff) | |
download | illumos-gate-25b05a3ecbac136f5e1192d4d9e79dc14f895785.tar.gz |
14220 Package manifests should be named .p5m and not .mf
Reviewed by: Yuri Pankov <ypankov@tintri.com>
Reviewed by: Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org>
Approved by: Rich Lowe <richlowe@richlowe.net>
Diffstat (limited to 'usr/src/tools')
-rw-r--r-- | usr/src/tools/README.tools | 2 | ||||
-rw-r--r-- | usr/src/tools/scripts/git-pbchk.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/usr/src/tools/README.tools b/usr/src/tools/README.tools index cf5e1f4ca7..b4d825a39f 100644 --- a/usr/src/tools/README.tools +++ b/usr/src/tools/README.tools @@ -255,6 +255,6 @@ Files you have to update to add a tool 1. Add the tool in its appropriate place. 2. Update the Makefile as required. -3. Update usr/src/pkg/manifests/developer-build-onbld.mf +3. Update usr/src/pkg/manifests/developer-build-onbld.p5m 4. Update usr/src/tools/README.tools (this file). 5. Repeat 1-4 for any man pages. diff --git a/usr/src/tools/scripts/git-pbchk.py b/usr/src/tools/scripts/git-pbchk.py index 141a0c3c68..7f52749594 100644 --- a/usr/src/tools/scripts/git-pbchk.py +++ b/usr/src/tools/scripts/git-pbchk.py @@ -319,7 +319,7 @@ def pkgfmt(root, parent, flist, output): ret = 0 output.write("Package manifests:\n") - for f in flist(lambda x: x.endswith('.mf')): + for f in flist(lambda x: x.endswith('.p5m')): with io.open(f, mode='rb') as fh: ret |= PkgFmt.check(fh, output=output) |