ipmitool: mark linux only

This commit is contained in:
Daiderd Jordan 2018-03-19 23:03:58 +01:00
parent 3890c471de
commit 7fea3e2acc
No known key found for this signature in database
GPG Key ID: D02435D05B810C96

View File

@ -32,7 +32,7 @@ stdenv.mkDerivation {
description = ''Command-line interface to IPMI-enabled devices'';
license = licenses.bsd3;
homepage = https://sourceforge.net/projects/ipmitool/;
platforms = platforms.unix;
platforms = platforms.linux;
maintainers = with maintainers; [ fpletz ];
};
}