diff options
| author | abs <abs> | 2009-03-05 00:02:44 +0000 |
|---|---|---|
| committer | abs <abs> | 2009-03-05 00:02:44 +0000 |
| commit | 6df18c8b5ed0be916f21e714818f5f9aff82636d (patch) | |
| tree | 9c83412edc84f92b0539faa2a8fcdd01d4f413ca /mk/gnu-config | |
| parent | dc34516b6fd6e1bfa343f6b1bdab180515a3c549 (diff) | |
| download | pkgsrc-6df18c8b5ed0be916f21e714818f5f9aff82636d.tar.gz | |
Initial definitions for FreeMiNT - also needs patches to pkgtools
Diffstat (limited to 'mk/gnu-config')
| -rwxr-xr-x | mk/gnu-config/config.sub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/gnu-config/config.sub b/mk/gnu-config/config.sub index 053e7381fa0..a0604b76c41 100755 --- a/mk/gnu-config/config.sub +++ b/mk/gnu-config/config.sub @@ -226,7 +226,7 @@ case $os in -psos*) os=-psos ;; - -mint | -mint[0-9]*) + -freemint | -mint | -mint[0-9]*) basic_machine=m68k-atari os=-mint ;; |