Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | add-flags | 996 | log plain blame |
-rw-r--r-- | builder.sh | 5520 | log plain blame |
-rw-r--r-- | default.nix | 3679 | log plain blame |
-rw-r--r-- | gcc-wrapper.sh | 4353 | log plain blame |
-rw-r--r-- | gnat-wrapper.sh | 3269 | log plain blame |
-rw-r--r-- | gnatlink-wrapper.sh | 1269 | log plain blame |
-rw-r--r-- | ld-wrapper.sh | 4450 | log plain blame |
-rw-r--r-- | setup-hook.sh | 679 | log plain blame |
-rw-r--r-- | utils.sh | 674 | log plain blame |