diff options
Diffstat (limited to 'util-linux/freeramdisk.c')
| -rw-r--r-- | util-linux/freeramdisk.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util-linux/freeramdisk.c b/util-linux/freeramdisk.c index 309169d25..d27113d97 100644 --- a/util-linux/freeramdisk.c +++ b/util-linux/freeramdisk.c | |||
| @@ -11,6 +11,7 @@ | |||
| 11 | //config:config FDFLUSH | 11 | //config:config FDFLUSH |
| 12 | //config: bool "fdflush (1.3 kb)" | 12 | //config: bool "fdflush (1.3 kb)" |
| 13 | //config: default y | 13 | //config: default y |
| 14 | //config: select PLATFORM_LINUX | ||
| 14 | //config: help | 15 | //config: help |
| 15 | //config: fdflush is only needed when changing media on slightly-broken | 16 | //config: fdflush is only needed when changing media on slightly-broken |
| 16 | //config: removable media drives. It is used to make Linux believe that a | 17 | //config: removable media drives. It is used to make Linux believe that a |
| @@ -23,6 +24,7 @@ | |||
| 23 | //config:config FREERAMDISK | 24 | //config:config FREERAMDISK |
| 24 | //config: bool "freeramdisk (1.3 kb)" | 25 | //config: bool "freeramdisk (1.3 kb)" |
| 25 | //config: default y | 26 | //config: default y |
| 27 | //config: select PLATFORM_LINUX | ||
| 26 | //config: help | 28 | //config: help |
| 27 | //config: Linux allows you to create ramdisks. This utility allows you to | 29 | //config: Linux allows you to create ramdisks. This utility allows you to |
| 28 | //config: delete them and completely free all memory that was used for the | 30 | //config: delete them and completely free all memory that was used for the |