Merge pull request #124441 from hrhino/fix/pinball

pinball: fix
This commit is contained in:
Sandro 2021-05-26 02:53:52 +02:00 committed by GitHub
commit 47254fd7d6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28524,10 +28524,7 @@ in
boost = boost166;
};
pinball = callPackage ../games/pinball {
autoreconfHook = with buildPackages;
autoreconfHook.override { automake = automake115x; };
};
pinball = callPackage ../games/pinball { };
pingus = callPackage ../games/pingus {};