0 ˆ ƒ@ÿ_•I|¥‰ÓMdœv ©ƒ&íK<óo¬À¿ U
| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| module-setup.sh | 2022-06-19 18:35 | 215 | ||
| uefi-lib.sh | 2022-06-19 18:35 | 5.7K | ||
You don't have permission to access this resource.
Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request.
À 358¿¾Â fYou don't have permission to access this resource.
Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request.
� 355¿¾Â cThe requested URL was not found on this server.
Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.
# ˆl–ß=¿JJj"Tâ� Æœ¸ÛŠbÑ¿Æ ƒh¹Å¿Ã unsupported # ˆl–Ãa¾”d*j"TÚ�zã@¸Ø”Å£Ç ƒe§ÃÆÀÄ £ """distutils.dep_util Utility functions for simple, timestamp-based dependency of files and groups of files; also, function based entirely on such timestamp dependency analysis.""" import os from distutils.errors import DistutilsFileError def newer (source, target): """Return true if 'source' exists and is more recently modified than 'target', or if 'source' exists and 'target' doesn't. Return false if both exist and 'target' is the same age or younger than 'source'. Raise DistutilsFileError if 'source' does not exist. """ if not os.path.exists(source): raise DistutilsFileError("file '%s' does not exist" % os.path.abspath(source)) if not os.path.exists(target): return 1 from stat import ST_MTIME mtime1 = os.stat(source)[ST_MTIME] mtime2 = os.stat(target)[ST_MTIME] return mtime1 > mtime2 # newer () def newer_pairwise (sources, targets): """Walk two filename lists in parallel, testing if each source is newer than its corresponding target. Return a pair of lists (sources, targets) where source is newer than target, according to the semantics of 'newer()'. """ if len(sources) != len(targets): raise ValueError("'sources' and 'targets' must be same length") # build a pair of lists (sources, targets) where source is newer n_sources = [] n_targets = [] for i in range(len(sources)): if newer(sources[i], targets[i]): n_sources.append(sources[i]) n_targets.append(targets[i]) return (n_sources, n_targets) # ne