dejagnu: supports darwin

2018-04-30 22:28:11 -05:00
parent 17ad831219
commit 8838533ec1
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/tools/misc/dejagnu/default.nix
+++ b/pkgs/development/tools/misc/dejagnu/default.nix
@@ -49,7 +49,7 @@ stdenv.mkDerivation rec {
    homepage = http://www.gnu.org/software/dejagnu/;
    license = licenses.gpl2Plus;

-    platforms = platforms.linux;
+    platforms = platforms.unix;
    maintainers = with maintainers; [ wkennington vrthra ];
  };
 }