Vladimír Čunát f5ce8f86df Revert "Merge staging at '8d490ca9934d0' into master" ... This reverts commit fc232422201c0364dbd57826c9a137cc1239caea, reversing changes made to 754816b84b98afdc0727e13dd66e1698b097de6a. 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