mirror of
https://github.com/redis/redis.git
synced 2026-04-21 03:01:35 -04:00
After talking with Pieter he changed my mind about this, it is better to
have a simpler install script that works everywhere, and the complex one
can be always executed if needed by hand. We'll make possibly a new
target for the full featured installation script, and even suggest it
after a Make install.
This reverts commit f1e60d7530.