Florian Klink 71254658c9 linux: only configure IDE to "no" pre-5.14 ...

When trying to build a 5.14 (rc-*), this fails to build otherwise:

> error: unused option: IDE

(cherry picked from commit ced7721191dbc31b29f467a432a590e9df8385be)

2021-09-05 06:20:25 +00:00

..

applications

Merge pull request #136481 from sumnerevans/backport-136311-to-release-21.05-2

2021-09-04 14:58:57 +02:00

build-support

…

common-updater

…

data

…

desktops

gnomeExtensions.gsconnect: 46 -> 47

2021-08-08 17:28:03 +00:00

development

nodejs-16_x: 16.7.0 -> 16.8.0

2021-08-25 22:30:44 -05:00

games

vintagestory: init at 1.15.5

2021-08-28 00:47:49 +00:00

misc

…

os-specific

linux: only configure IDE to "no" pre-5.14

2021-09-05 06:20:25 +00:00

pkgs-lib

…

servers

mosquitto: 2.0.11 -> 2.0.12

2021-09-02 10:56:25 +02:00

shells

…

stdenv

stdenv/native: fix bintools import

2021-08-31 10:38:39 -07:00

test

…

tools

Merge pull request #136495 from risicle/ris-squashfs-CVE-2021-40153-r21.05

2021-09-04 19:09:55 +02:00

top-level

Merge pull request #136235 from NixOS/backport-136150-to-release-21.05

2021-09-04 13:42:13 +02:00