gawk: signify interactivity in name

I forgot to commit this.
This commit is contained in:
Vladimír Čunát 2014-01-26 13:44:34 +01:00
parent 9a68fd380f
commit 0c2f09e992

View file

@ -975,7 +975,8 @@ let
g500-control = callPackage ../tools/misc/g500-control { };
gawk = lowPrio (callPackage ../tools/text/gawk { });
gawkInteractive = gawk.override { readlineSupport = true; };
gawkInteractive = appendToName "interactive"
(gawk.override { readlineSupport = true; });
gdmap = callPackage ../tools/system/gdmap { };