diff options
| author | Filip Strömbäck <filip.stromback@liu.se> | 2020-05-26 16:57:05 +0200 |
|---|---|---|
| committer | Filip Strömbäck <filip.stromback@liu.se> | 2020-05-26 16:59:17 +0200 |
| commit | b51fd37426d5c381f52bf93c5950479a9a13a594 (patch) | |
| tree | bbe5b81ea76c655eeda431199fe2c410cd1d6be7 /libpintos-rs/src | |
| parent | 8434d9cf5bd082d5d7008ab66c282b6f67d9855d (diff) | |
| download | pintos-rs-b51fd37426d5c381f52bf93c5950479a9a13a594.tar.gz | |
Fixed compilation error on GCC 10.
GCC 10 uses -fno-common by default, which makes multiple definitions of the same symbol in multiple
object files an error. This was used in the userspace test library, and broke with GCC10. Therefore,
the relevant symbol is now marked as "weak" to solve the issue and to clarify the intent.
Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
Diffstat (limited to 'libpintos-rs/src')
0 files changed, 0 insertions, 0 deletions