Vladimír Čunát f5ce8f86df Revert "Merge staging at '8d490ca9934d0' into master" ... This reverts commit fc23242220, reversing changes made to 754816b84b. We don't have many binaries yet. Comment on the original merge commit.		2018-02-26 22:53:18 +01:00
..
add-flags.sh	bintools-wrapper: Init	2017-12-13 16:08:18 -05:00
add-hardening.sh	bintools-wrapper: Init	2017-12-13 16:08:18 -05:00
cc-wrapper.sh	bintools-wrapper: Init	2017-12-13 16:08:18 -05:00
default.nix	Merge branch 'master' into staging	2017-12-31 09:53:49 +01:00
gnat-wrapper.sh	cc-wrapper: Pull variable mangler into utils.sh	2017-12-13 16:08:13 -05:00
gnatlink-wrapper.sh	cc-wrapper: disable POSIX compatibility	2017-11-05 12:19:37 +02:00
setup-hook.sh	stdenv-setup: Ease the transition with native builds	2017-12-30 22:04:23 -05:00
utils.sh	Revert "Merge staging at '8d490ca9934d0' into master"	2018-02-26 22:53:18 +01:00