diff options
-rwxr-xr-x | makeall.sh | 1 | ||||
-rwxr-xr-x | makediffall.sh | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -9,4 +9,5 @@ echo Examples: echo SPECDOC=virtio-v1.0-wd01 $0 echo SPECDOC=virtio-v1.0-csd01 $0 echo SPECDOC=virtio-v1.0-csprd01 $0 +echo SPECDOC=virtio-v1.0-cs01 $0 echo SPECDOC=virtio-v1.0-os $0 diff --git a/makediffall.sh b/makediffall.sh index 406779c..813dc36 100755 --- a/makediffall.sh +++ b/makediffall.sh @@ -11,4 +11,5 @@ echo Examples: echo SPECDOC=virtio-v1.0-wd01 $0 echo SPECDOC=virtio-v1.0-csd01 $0 echo SPECDOC=virtio-v1.0-csprd01 $0 +echo SPECDOC=virtio-v1.0-cs01 $0 echo SPECDOC=virtio-v1.0-os $0 |