Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | add-flags.sh | 2184 | log plain blame |
-rw-r--r-- | add-hardening.sh | 2511 | log plain blame |
-rw-r--r-- | cc-wrapper.sh | 5549 | log plain blame |
-rw-r--r-- | default.nix | 11798 | log plain blame |
-rw-r--r-- | gnat-wrapper.sh | 3323 | log plain blame |
-rw-r--r-- | gnatlink-wrapper.sh | 1127 | log plain blame |
-rw-r--r-- | setup-hook.sh | 5878 | log plain blame |
-rw-r--r-- | utils.sh | 2178 | log plain blame |