diff options
| author | Taras Madan <tarasmadan@google.com> | 2025-02-18 15:09:51 +0100 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2025-02-18 15:13:36 +0000 |
| commit | 9a14138f4fc02e412262b751acdc4dd70665a726 (patch) | |
| tree | 6e5293ae4d55619abca02d8821c02fef43721b68 | |
| parent | f286797a6f0f3ac25f475050b2e0348d24474f6a (diff) | |
Makefile: delete sys/gen and sys/register.go
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -394,8 +394,7 @@ test: descriptions $(GO) test -short -coverprofile=.coverage.txt ./... clean: - rm -rf ./bin .descriptions executor/defs.h executor/syscalls.h - find sys/*/gen -type f -not -name empty.go -delete + rm -rf ./bin .descriptions executor/defs.h executor/syscalls.h sys/gen sys/register.go # For a tupical Ubuntu/Debian distribution. # We use "|| true" for apt-get install because packages are all different on different distros. |
