diff options
| author | Manolis Ragkousis <manolis837@gmail.com> | 2016-03-26 16:53:40 +0200 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2016-08-10 15:40:22 -0400 |
| commit | 4ed40a3e6ca030573ded52233bd9e72dcdb85697 (patch) | |
| tree | a85eb69582b903cb76e4a5b359d520d31c14a97f /m4/guix.m4 | |
| parent | d06df41dfbbe125cb8ceb1c0f5a194cfeb52d22d (diff) | |
build: Correctly determine the system type for GNU/Hurd systems.
* m4/guix.m4 (GUIX_SYSTEM_TYPE): Add case for gnu.
Diffstat (limited to 'm4/guix.m4')
| -rw-r--r-- | m4/guix.m4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/m4/guix.m4 b/m4/guix.m4 index 949ae4ca7c..6d8ec2e4e0 100644 --- a/m4/guix.m4 +++ b/m4/guix.m4 @@ -74,6 +74,9 @@ AC_DEFUN([GUIX_SYSTEM_TYPE], [ linux-gnu*) # For backward compatibility, strip the `-gnu' part. guix_system="$machine_name-linux";; + gnu*) + # Always use i586 for GNU/Hurd. + guix_system="i586-gnu";; *) # Strip the version number from names such as `gnu0.3', # `darwin10.2.0', etc. |