diff options
Diffstat (limited to 'users/wpcarro/Makefile')
| -rw-r--r-- | users/wpcarro/Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/users/wpcarro/Makefile b/users/wpcarro/Makefile deleted file mode 100644 index 4e3361b800..0000000000 --- a/users/wpcarro/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -install-cli-tools: - nix-env -f "${BRIEFCASE}" -iA shared.cliTools - -install-configs: - nix-build -A configs.install && \ - ./result && \ - rm ./result - -uninstall-configs: - nix-build -A configs.uninstall && \ - ./result && \ - rm ./result - -list-broken-links: - nix-build -A tools.symlinkManager && \ - ./result/bin/symlink-mgr -audit && \ - rm ./result |