diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2018-08-17 20:51:31 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2018-08-17 20:51:31 +0200 |
commit | 209730208a2ec0e3158303271d058dc851f83b99 (patch) | |
tree | 286b2abfb02d711233ae9b4f7f7b755de27843ac /doc | |
parent | aa5a93e21d77e2c2464b39a5f4dabbfebfb225b4 (diff) | |
parent | cbabebcc2e3b884296fedf8591e04f59240b3939 (diff) |
Merge branch 'staging-next'
Diffstat (limited to 'doc')
-rw-r--r-- | doc/old/cross.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/old/cross.txt b/doc/old/cross.txt index 73103ea0c6d9..c0885c08176e 100644 --- a/doc/old/cross.txt +++ b/doc/old/cross.txt @@ -64,7 +64,7 @@ stdenv.mkDerivation { sha256 = "1ian3kwh2vg6hr3ymrv48s04gijs539vzrq62xr76bxbhbwnz2np"; }; inherit noSysDirs; - configureFlags = "--target=arm-linux"; + configureFlags = [ "--target=arm-linux" ]; } --- |