// Copyright 2018 The Android Open Source Project
//

sh_binary {
    name: "device_config",
    src: "device_config",
}