diff options
Diffstat (limited to 'mps/code/mpstd.h')
| -rw-r--r-- | mps/code/mpstd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/mpstd.h b/mps/code/mpstd.h index 1725639691f..0345810b723 100644 --- a/mps/code/mpstd.h +++ b/mps/code/mpstd.h | |||
| @@ -252,7 +252,7 @@ | |||
| 252 | 252 | ||
| 253 | 253 | ||
| 254 | #else | 254 | #else |
| 255 | #error "Unable to detect target platform" | 255 | #error "The MPS Kit does not have a configuration for this platform out of the box; see manual/build.txt" |
| 256 | #endif | 256 | #endif |
| 257 | 257 | ||
| 258 | 258 | ||