diff options
| author | John Crispin <john@openwrt.org> | 2013-03-13 18:11:19 +0000 |
|---|---|---|
| committer | John Crispin <john@openwrt.org> | 2013-03-13 18:11:19 +0000 |
| commit | f43b7934d2850c2f545736253a0f8cbe4915fdff (patch) | |
| tree | 3718ca82dd27e3917a51439823bfb20a067af784 /package/base-files/files/lib/preinit/20_device_fs_mount | |
| parent | 1360067c4a75cd1804710e6f25871f695d3271b2 (diff) | |
| download | mtk-20170518-f43b7934d2850c2f545736253a0f8cbe4915fdff.zip mtk-20170518-f43b7934d2850c2f545736253a0f8cbe4915fdff.tar.gz mtk-20170518-f43b7934d2850c2f545736253a0f8cbe4915fdff.tar.bz2 | |
make basefiles aware of procd
Signed-off-by: John Crispin <blogic@openwrt.org>
SVN-Revision: 36003
Diffstat (limited to 'package/base-files/files/lib/preinit/20_device_fs_mount')
| -rw-r--r-- | package/base-files/files/lib/preinit/20_device_fs_mount | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/package/base-files/files/lib/preinit/20_device_fs_mount b/package/base-files/files/lib/preinit/20_device_fs_mount deleted file mode 100644 index 7535b3f..0000000 --- a/package/base-files/files/lib/preinit/20_device_fs_mount +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/sh -# Copyright (C) 2006 OpenWrt.org -# Copyright (C) 2010 Vertical Communications - -do_move_devtmpfs() { - local mnt="$(grep devtmpfs /proc/mounts)" - mnt="${mnt#* }"; mnt="${mnt%% *}" - - [ "$mnt" = "/dev" ] || mount -o noatime,move "$mnt" /dev -} - -do_mount_devfs() { - mount -o noatime -t devfs devfs /dev -} - -do_mount_hotplug() { - mount -t tmpfs -o noatime,mode=0755,size=512K tmpfs /dev -} - -do_mount_udev() { - mount -n -t tmpfs -o noatime,mode=0755 udev /dev -} - -choose_device_fs() { - if grep -q devtmpfs /proc/mounts; then - do_move_devtmpfs - elif grep -q devfs /proc/filesystems; then - do_mount_devfs - elif [ -x /sbin/hotplug2 ]; then - do_mount_hotplug - elif [ -x /sbin/udevd ]; then - do_mount_udev - fi -} - -boot_hook_add preinit_essential choose_device_fs - |